Wolfram Pohlers: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (16)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Proof theory: the first step into impredicativity

Proof theory: the first step into impredicativity

Springer-Verlag Berlin Heidelberg

Pohlers, Wolfram

Rok:

2009

Język:

english

Plik:

PDF, 2.31 MB

0 / 0

english, 2009

2

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

A K Peters/CRC Press;A.K.Peters

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.)

Rok:

2006

Język:

english

Plik:

DJVU, 3.57 MB

0 / 0

english, 2006

3

An introduction to mathematical logic

An introduction to mathematical logic

Wolfram Pohlers (author), Thomas Glaß (editor)

Język:

english

Plik:

PDF, 982 KB

0 / 0

english

4

Logic Colloquium ’02: Lecture Notes in Logic 27

Logic Colloquium ’02: Lecture Notes in Logic 27

A K Peters/CRC Press

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers

Rok:

2006

Język:

english

Plik:

PDF, 124.64 MB

0 / 0

english, 2006

5

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

A K Peters/CRC Press

Chatzidakis, Zoe ́Maria, Koepke, Peter, Pohlers, Wolfram (eds.)

Rok:

2006

Język:

english

Plik:

DJVU, 3.57 MB

0 / 0

english, 2006

6

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

Rok:

2008

Język:

english

Plik:

PDF, 3.43 MB

0 / 0

english, 2008

7

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

Język:

english

Plik:

PDF, 4.85 MB

0 / 0

english

8

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

Rok:

2008

Język:

english

Plik:

PDF, 3.42 MB

0 / 0

english, 2008

9

Lineare Algebra [Lecture notes]

Lineare Algebra [Lecture notes]

Wolfram Pohlers

Rok:

1998

Język:

german

Plik:

PDF, 1.07 MB

0 / 0

german, 1998

10

Mathematische Grundlagen der Informatik

Mathematische Grundlagen der Informatik

De Gruyter Oldenbourg

Wolfram Pohlers

Rok:

2020

Język:

german

Plik:

PDF, 47.15 MB

0 / 0

german, 2020

11

Proof Theory

Proof Theory

Springer Science & Business Media

Wolfram Pohlers

Rok:

1989

Język:

English

Plik:

PDF, 45.92 MB

0 / 0

English, 1989

12

Proof Theory: An Introduction

Proof Theory: An Introduction

Springer-Verlag Berlin Heidelberg

Wolfram Pohlers

Rok:

1989

Język:

english

Plik:

PDF, 9.81 MB

0 / 0

english, 1989

13

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Springer-Verlag Berlin Heidelberg

Wolfram Pohlers (auth.)

Rok:

2009

Język:

english

Plik:

PDF, 4.21 MB

0 / 0

english, 2009

14

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

Rok:

2008

Język:

english

Plik:

PDF, 3.82 MB

0 / 0

english, 2008

15

Proof Theory. An Introduction

Proof Theory. An Introduction

Wolfram Pohlers, Pohlers

Rok:

1989

Język:

english

Plik:

DJVU, 1.55 MB

0 / 0

english, 1989

16

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Springer-Verlag Berlin Heidelberg

Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

Rok:

1981

Język:

english

Plik:

PDF, 5.26 MB

0 / 0

english, 1981